MUNDICI, DANIELE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Lattice-ordered Abelian groups and Schauder bases of unimodular fans

Manara, Corrado, Marra, Vincenzo, Mundici, Daniele

Journal:

Transactions of the American Mathematical Society

Year:

2006

Language:

english

File:

PDF, 232 KB

english, 2006

2

Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus

Daniele Mundici

Journal:

Journal of Functional Analysis

Year:

1986

Language:

english

File:

PDF, 2.46 MB

english, 1986

3

Paraconsistent Logics and Translations

Costas Drossos, Daniele Mundici

Journal:

Year:

2000

Language:

english

File:

PDF, 91 KB

english, 2000

4

De Finetti theorem and Borel states in [0, 1]-valued algebraic logic

Jan Kühr, Daniele Mundici

Journal:

International Journal of Approximate Reasoning

Year:

2007

Language:

english

File:

PDF, 207 KB

english, 2007

5

Duality Between Logics and Equivalence Relations

Daniele Mundici

Journal:

Transactions of the American Mathematical Society

Year:

1982

Language:

english

File:

PDF, 2.02 MB

english, 1982

6

Mapping abelian l-groups with strong unit one-one into MV algebras

Daniele Mundici

Journal:

Journal of Algebra

Year:

1986

Language:

english

File:

PDF, 296 KB

english, 1986

7

Simple Bratteli Diagrams with a Gödel-Incomplete C*-Equivalence Problem

Daniele Mundici

Journal:

Transactions of the American Mathematical Society

Year:

2004

Language:

english

File:

PDF, 1.55 MB

english, 2004

8

Ulam's searching game with lies

Jurek Czyzowicz, Daniele Mundici, Andrzej Pelc

Journal:

Journal of Combinatorial Theory, Series A

Year:

1989

Language:

english

File:

PDF, 644 KB

english, 1989

9

Robinson's Consistency Theorem in Soft Model Theory

Daniele Mundici

Journal:

Transactions of the American Mathematical Society

Year:

1981

Language:

english

File:

PDF, 1.42 MB

english, 1981

10

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The even more liberalized δ-rule in free variable Semantic Tableaux

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 513 KB

english, 1993

11

Recognizing free generating sets of $$\ell $$ℓ-groups

Mundici, Daniele

Journal:

Algebra Universalis

Year:

2018

Language:

english

File:

PDF, 518 KB

english, 2018

12

Applications of Many-Sorted Robinson Consistency Theorem

Daniele Mundici

Journal:

Mathematical Logic Quarterly

Year:

1981

Language:

english

File:

PDF, 489 KB

english, 1981

13

Compactness, interpolation and Friedman's third problem

Daniele Mundici

Journal:

Annals of Mathematical Logic

Year:

1982

Language:

english

File:

PDF, 837 KB

english, 1982

14

Word problems in Elliott monoids

Mundici, Daniele

Journal:

Advances in Mathematics

Year:

2018

Language:

english

File:

PDF, 930 KB

english, 2018

15

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

Roberto Cignoli, Daniele Mundici

Journal:

Year:

1998

File:

PDF, 651 KB

1998

16

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Ultrafilter logic and generic reasoning

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 1.41 MB

english, 1997

17

Tautologies with a unique craig interpolant, uniform vs. nonuniform complexity

Daniele Mundici

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 602 KB

english, 1984

18

Solution of Rota's problem on the order of series — Parallel networks

Daniele Mundici

Journal:

Advances in Applied Mathematics

Year:

1991

Language:

english

File:

PDF, 423 KB

english, 1991

19

Selected Papers in Honour of Ettore Casari || Preface

Maria Luisa Dalla Chiara and Daniele Mundici

Journal:

Year:

1999

Language:

english

File:

PDF, 484 KB

english, 1999

20

Classes of Ultrasimplicial Lattice-Ordered Abelian Groups

Daniele Mundici

Journal:

Journal of Algebra

Year:

1999

Language:

english

File:

PDF, 71 KB

english, 1999

21

Geometry of Robinson consistency in Łukasiewicz logic

Manuela Busaniche, Daniele Mundici

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 472 KB

english, 2007

22

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Committed-choice concurrent logic programming in linear logic

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 611 KB

english, 1993

23

Inverse topological systems and compactness in abstract model theory

Mundici, Daniele

Journal:

Journal of Symbolic Logic

Year:

1986

Language:

english

File:

PDF, 770 KB

english, 1986

24

Solution of Ulam's problem on binary search with two lies

Jurek Czyzowicz, Andrzej Pelc, Daniele Mundici

Journal:

Journal of Combinatorial Theory, Series A

Year:

1988

Language:

english

File:

PDF, 266 KB

english, 1988

25

Free products in the category of abelian l-groups with strong unit

Daniele Mundici

Journal:

Journal of Algebra

Year:

1988

Language:

english

File:

PDF, 1.01 MB

english, 1988

26

Free generating sets of lattice-ordered abelian groups

Daniele Mundici

Journal:

Journal of Pure and Applied Algebra

Year:

2007

Language:

english

File:

PDF, 168 KB

english, 2007

27

Finitely presented lattice-ordered abelian groups with order-unit

Leonardo Cabrer, Daniele Mundici

Journal:

Journal of Algebra

Year:

2011

Language:

english

File:

PDF, 191 KB

english, 2011

28

An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem

Daniele Mundici

Journal:

Journal of Symbolic Logic

Year:

1981

Language:

english

File:

PDF, 559 KB

english, 1981

29

Interpretation of De Finetti coherence criterion in Łukasiewicz Logic

Daniele Mundici

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 715 KB

english, 2009

30

Ultraproducts of Z with an Application to Many-Valued Logics

Joan Gispert i Brasó, Daniele Mundici, Antoni Torrens Torrell

Journal:

Journal of Algebra

Year:

1999

Language:

english

File:

PDF, 140 KB

english, 1999

31

Stone duality for Dedekind σ-complete ℓ-groups with order-unit

Roberto Cignoli, Daniele Mundici

Journal:

Journal of Algebra

Year:

2006

Language:

english

File:

PDF, 163 KB

english, 2006

32

Gödel incompleteness in AF C*-algebras

Mundici, Daniele, Tsinakis, Constantine

Journal:

Forum Mathematicum

Year:

2008

Language:

english

File:

PDF, 173 KB

english, 2008

33

Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C∗-algebras

Daniele Mundici

Journal:

Advances in Mathematics

Year:

1988

Language:

english

File:

PDF, 770 KB

english, 1988

34

Every abelian l-group with two positive generators is ultrasimplicial

Daniele Mundici

Journal:

Journal of Algebra

Year:

1987

Language:

english

File:

PDF, 259 KB

english, 1987

35

From free abelian groups to free abelianℓ-groups

Jan Kühr, Daniele Mundici

Journal:

Mathematica Slovaca

Year:

2011

Language:

english

File:

PDF, 219 KB

english, 2011

36

10.1090/s0002-9947-03-03353-1

Mundici, Daniele

Journal:

Transactions of the American Mathematical Society

Year:

2004

Language:

english

File:

PDF, 310 KB

english, 2004

37

Dedicated to the Memory of Leo Esakia || Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici and Yde Venema

Journal:

Year:

2012

Language:

english

File:

PDF, 1012 KB

english, 2012

38

Foreword

Lev Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema

Journal:

Year:

2012

Language:

english

File:

PDF, 142 KB

english, 2012

39

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Resolution, inverse method and the sequent calculus

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

40

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '82 Volume 112 || NP and Craig's Interpolation Theorem

Mundici, Daniele

Year:

1984

Language:

english

File:

PDF, 553 KB

english, 1984

41

Tensor Products and the Loomis–Sikorski Theorem for MV-Algebras

Daniele Mundici

Journal:

Advances in Applied Mathematics

Year:

1999

Language:

english

File:

PDF, 159 KB

english, 1999

42

The Lebesgue state of a unital abelian lattice-ordered group

Marra, Vincenzo, Mundici, Daniele

Journal:

Journal of Group Theory

Year:

2007

Language:

english

File:

PDF, 294 KB

english, 2007

43

Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups

Busaniche, Manuela, Cabrer, Leonardo, Mundici, Daniele

Journal:

Forum Mathematicum

Year:

2012

Language:

english

File:

PDF, 318 KB

english, 2012

44

Ergodic Undefinability in Set Theory and Recursion Theory

Daniele Mundici

Journal:

Proceedings of the American Mathematical Society

Year:

1981

Language:

english

File:

PDF, 212 KB

english, 1981

45

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Epistemic entrenchment and arithmetical hierarchy (abstract)

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 93 KB

english, 1993

46

Preface

Maurice Boffa, Annalisa Marcja, Daniele Mundici

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 49 KB

english, 1997

47

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 1289 || Two connections between Linear Logic and Łukasiewicz Logics

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1997

Language:

english

File:

PDF, 697 KB

english, 1997

48

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || The inverse of fitting's functional

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 728 KB

english, 1993

49

[Lecture Notes in Computer Science] Computational Logic and Proof Theory Volume 713 || Building up a tool-box for Martin-Löf's type theory (abstract)

Gottlob, Georg, Leitsch, Alexander, Mundici, Daniele

Year:

1993

Language:

english

File:

PDF, 85 KB

english, 1993

50

Hopfian ℓ-groups, MV-algebras and AF C*-algebras

Mundici, Daniele

Journal:

Forum Mathematicum

Year:

2016

Language:

english

File:

PDF, 3.72 MB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски